quotient topological group

商拓扑群